free variable

noun, Logic.

1.

(in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it.

Compare bound variable.